$\forall$${\it es}$:event\_system\{i:l\}, $e$:es{-}E(${\it es}$), $l$:IdLnk, ${\it tg}$:Id. ($e$ sends on $l$ with tag ${\it tg}$) $\in$ prop\{i:l\}